
void stop_machine_unpark(int cpu)
{

}
